Nuprl Lemma : d-empty_wf
0,22
postcript
pdf
d-empty()
Dsys
latex
Definitions
Id
,
t
T
,
,
x
.
A
(
x
)
,
d-empty()
,
Dsys
Lemmas
ma-empty
wf
,
Id
wf
origin
Dsys Dsys T
x.A(x)